Measurement of SIFT operating system overhead

The overhead of the software implemented fault tolerance (SIFT) operating system was measured. Several versions of the operating system evolved. Each version represents different strategies employed to improve the measured performance. Three of these versions are analyzed. The internal data structures of the operating systems are discussed. The overhead of the SIFT operating system was found to be of two types: vote overhead and executive task overhead. Both types of overhead were found to be significant in all versions of the system. Improvements substantially reduced this overhead; even with these improvements, the operating system consumed well over 50% of the available processing time

Experimental validation of clock synchronization algorithms

The objective of this work is to validate mathematically derived clock synchronization theories and their associated algorithms through experiment. Two theories are considered, the Interactive Convergence Clock Synchronization Algorithm and the Midpoint Algorithm. Special clock circuitry was designed and built so that several operating conditions and failure modes (including malicious failures) could be tested. Both theories are shown to predict conservative upper bounds (i.e., measured values of clock skew were always less than the theory prediction). Insight gained during experimentation led to alternative derivations of the theories. These new theories accurately predict the behavior of the clock system. It is found that a 100 percent penalty is paid to tolerate worst-case failures. It is also shown that under optimal conditions (with minimum error and no failures) the clock skew can be as much as three clock ticks. Clock skew grows to six clock ticks when failures are present. Finally, it is concluded that one cannot rely solely on test procedures or theoretical analysis to predict worst-case conditions

Improving health professionals’ involvement whilst sustaining work–life balance: evidence from an empirical analysis

Most sustainability studies applied to healthcare primarily focus on external viability. In particular, they look at the ability of healthcare institutions to establish an economic, environmental, social, and political consonance with their context. Conversely, limited attention has been paid to issues related to internal sustainability. The article discusses health professionals' involvement as a human resource management practice which contributes to the viability of healthcare organizations. A sequential mediation analysis was designed to shed light on the effects of employees' involvement on work-life balance, which is an essential ingredient of the recipe for internal sustainability. The study findings suggest that health professionals' involvement may determine an intensification and an extensification of work efforts, which undermine their work-life balance. Nevertheless, the implications of employees' involvement on work-life balance are positively and significantly mediated by supportive relationships at work and positive organizational climate. From this standpoint, health professionals' involvement may act as an effective strategy to enhance the internal sustainability of health care organizations if matched with better relationships with supervisors and improved organizational climate. Whilst calling for further research to enlighten issues and challenges related to internal sustainability, the article stresses that health professionals' involvement should be paired with an improvement of the organizational climate to contribute to an increased viability of health care institutions

Effect of weathering product assemblages on Pb bioaccessibility in mine waste: implications for risk management

General assessments of orebody types and associated mine wastes with regards to their environmental signature and human health hazards are needed to help managing present and historical mine waste facilities. Bioaccessibility tests and mineralogical analysis were carried out on mine waste from a systematic sampling of mine sites from the Central Wales orefield, UK. The bioaccessible Pb widely ranged from 270 to 20300 mg/kg (mean 7250 mg/kg; median 4890 mg/kg) and the bioaccessible fraction from 4.53 % to >100 % (mean 33.2 %; median 32.2 %), with significant (p=0.001) differences among the mine sites. This implies sensitivity of bioaccessibility to site-specific conditions and suggests caution in the use of models to assess human health impacts generalised on the basis of the mineral deposit type. Mineralogical similarities of the oxidation products of primary galena provided a better control over the observed Pb bioaccessibility range. The higher Pb bioaccessibility (%) was related to samples containing cerussite, irrespective of the presence of other Pb minerals in the mineral assemblage; lower Pb bioaccessibility resulted where anglesite was the main Pb mineral phase and cerussite was absent. A solubility diagram for the various Pb minerals in the waste was derived using PHREEQC model and the experimental Pb concentration measured in the simulated gastric solution compared with the equilibrium modelling results. For samples containing cerussite, the model well predicted the soluble Pb concentrations measured in the experimental simulated gastric solution, indicative of the carbonate mineral phase control on the Pb in solution for these samples and little kinetic control on the dissolution of cerussite. On the contrary, most mine waste samples containing dominant anglesite and or plumbojarosite (no cerussite) had lower solution Pb values, falling at or below the anglesite and plumbojarosite solubility equilibrium concentrations, implying kinetic or textural factors hindering the dissolution

Characteristics of stress-induced defects under positive bias in high-k/InGaAs stacks

The introduction of InGaAs as a channel material for complementary metal-oxide-semiconductor technology presents major challenges in terms of the characterization of the various defects that affect the performance and reliability. Understanding the generation of defects by constant voltage stresses is crucial in terms of their concentration profiles and energy levels. In particular, we want to understand the real nature of the defects responsible for the dispersion of C-V in strong accumulation. Here, we show that the degradation under positive bias of metal/Al2O3/n-InGaAs capacitors reveals two contributions depending on the temperature that affects the C-V curves in a different way. Based on features of stressed C-V curves, it is possible to estimate the onset point of the distribution of border traps near the midgap condition. The results suggest that these defects are strongly related to the characteristics of the InGaAs substrate.Fil: Palumbo, Félix Roberto Mario. Technion - Israel Institute of Technology; Israel. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Winter, R.. Technion - Israel Institute of Technology; IsraelFil: Krylov, I.. Technion - Israel Institute of Technology; IsraelFil: Eizenberg, M.. Technion - Israel Institute of Technology; Israe

User's guide to programming fault injection and data acquisition in the SIFT environment

Described are the features, command language, and functional design of the SIFT (Software Implemented Fault Tolerance) fault injection and data acquisition interface software. The document is also intended to assist and guide the SIFT user in defining, developing, and executing SIFT fault injection experiments and the subsequent collection and reduction of that fault injection data. It is also intended to be used in conjunction with the SIFT User's Guide (NASA Technical Memorandum 86289) for reference to SIFT system commands, procedures and functions, and overall guidance in SIFT system programming

Gaucher Disease and Myelofibrosis: A Combined Disease or a Misdiagnosis?

Background: Gaucher disease (GD) and primary myelofibrosis (PMF) share similar clinical and laboratory features, such as cytopenia, hepatosplenomegaly, and marrow fibrosis, often resulting in a misdiagnosis. Case Report: We report here the case of a young woman with hepatosplenomegaly, leukopenia, and thrombocytopenia. Based on bone marrow (BM) findings and on liver biopsy showing extramedullary hematopoiesis, an initial diagnosis of PMF was formulated. The patient refused stem cell transplantation from an HLA-identical sibling. Low-dose melphalan was given, without any improvement. Two years later, a BM evaluation showed Gaucher cells. Low glucocerebrosidase and high chitotriosidase levels were indicative for GD. Molecular analysis revealed N370S/complex I mutations. Enzyme replacement therapy with imiglucerase was commenced, resulting in clinical and hematological improvements. Due to an unexpected and persistent organomegaly, PMF combined with GD were suspected. JAK2V617F, JAK2 exon 12, MPL, calreticulin, and exon 9 mutations were negative, and BM examination showed no marrow fibrosis. PMF was excluded. Twenty years after starting treatment, the peripheral cell count and liver size were normal, whereas splenomegaly persisted. Conclusion: In order to avoid a misdiagnosis, a diagnostic algorithm for patients with hepatosplenomegaly combined with cytopenia is suggested